#ifndef SMT_H
#define SMT_H
#include<stdio.h>
#include"include/yicesl_c.h"
#include "typedef.h"
bool interfaceSMT(Prop*);
#endif
